Nuprl Definition : lastn
11,40
postcript
pdf
lastn(
n
;
L
) == nth_tl(||
L
|| -
n
;
L
)
latex
Definitions
nth_tl(
n
;
as
)
,
n
-
m
,
||
as
||
FDL editor aliases
lastn
origin